A Long Exact Sequence for the Branching Homology
نویسندگان
چکیده
A function complex is introduced on the category of flows so that the model category of flows becomes a simplicial model category. This allows us to show that the homotopy branching space of the cone of a morphism of flows is homotopy equivalent to the cone of its image by the homotopy branching space functor. The crux of the proof is that the homotopy branching space of the terminal flow is contractible. We then easily deduce a long exact sequence for the branching homology of a flow.
منابع مشابه
Exact sequences of extended $d$-homology
In this article, we show the existence of certain exact sequences with respect to two homology theories, called d-homology and extended d-homology. We present sufficient conditions for the existence of long exact extended d- homology sequence. Also we give some illustrative examples.
متن کاملHomological Properties of Non-deterministic Branchings and Mergings in Higher Dimensional Automata
The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy invariant and that higher dimensional branchings (resp. mergings) satisfy a long exact sequence.
متن کاملIntroduction to spectral sequences
The words “spectral sequence” strike fear into the hearts of many hardened mathematicians. These notes will attempt to demonstrate that spectral sequences are not so scary, and also very powerful. This is an unfinished handout for my algebraic topology class. In particular I did not have time to reproduce here the little spectral sequence diagrams showing where all the arrows go. For a comprehe...
متن کاملA long exact sequence for homology of FI-modules
We construct a long exact sequence involving the homology of an FI-module. Using the long exact sequence, we give two methods to bound the Castelnuovo–Mumford regularity of an FI-module which is generated and related in finite degree. We also prove that for an FImodule which is generated and related in finite degree, if it has a nonzero higher homology, then its homological degrees are strictly...
متن کاملThe Exact Sequence of Low Degree and Normal Algebras
The exact sequence of low degree associated to a first quadrant bicomplex (five terms long in [4, 1.4.5.1] seven terms long in [2, Lemma 7.5]) has been used in a number of situations, for example, in obtaining a cohomological description of the Brauer group of a commutative ring R [2]. In this note we observe that the sequence may be extended to an infinitely long exact sequence. The terms aris...
متن کامل